; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = or i64 489433072, %"SymVar_0"
  %".5" = zext i8 55 to i64
  %".6" = and i64 %".5", 63
  %".7" = lshr i64 %".4", %".6"
  %".8" = or i64 489433072, %"SymVar_0"
  %".9" = zext i8 9 to i64
  %".10" = and i64 %".9", 63
  %".11" = shl i64 %".8", %".10"
  %".12" = or i64 %".7", %".11"
  %".13" = zext i8 51 to i64
  %".14" = and i64 %".13", 63
  %".15" = lshr i64 %".12", %".14"
  %".16" = zext i8 13 to i64
  %".17" = and i64 %".16", 63
  %".18" = shl i64 %".12", %".17"
  %".19" = or i64 %".15", %".18"
  %".20" = or i64 %".19", %"SymVar_0"
  %".21" = zext i8 1 to i64
  %".22" = and i64 %".21", 63
  %".23" = lshr i64 %".20", %".22"
  %".24" = and i64 15, %".23"
  %".25" = or i64 1, %".24"
  %".26" = sub i64 64, %".25"
  %".27" = trunc i64 %".26" to i32
  %".28" = zext i32 %".27" to i64
  %".29" = trunc i64 %".28" to i8
  %".30" = zext i8 %".29" to i64
  %".31" = and i64 %".30", 63
  %".32" = lshr i64 %".12", %".31"
  %".33" = zext i8 1 to i64
  %".34" = and i64 %".33", 63
  %".35" = lshr i64 %".20", %".34"
  %".36" = and i64 15, %".35"
  %".37" = or i64 1, %".36"
  %".38" = trunc i64 %".37" to i32
  %".39" = zext i32 %".38" to i64
  %".40" = trunc i64 %".39" to i8
  %".41" = zext i8 %".40" to i64
  %".42" = and i64 %".41", 63
  %".43" = shl i64 %".12", %".42"
  %".44" = or i64 %".32", %".43"
  %".45" = sext i64 %".20" to i128
  %".46" = add i64 104868834, %"SymVar_0"
  %".47" = sext i64 %".46" to i128
  %".48" = mul i128 %".45", %".47"
  %".49" = trunc i128 %".48" to i64
  %".50" = sext i64 %".49" to i128
  %".51" = sext i64 1004737041 to i128
  %".52" = mul i128 %".50", %".51"
  %".53" = trunc i128 %".52" to i64
  %".54" = sext i64 %".53" to i128
  %".55" = or i64 893657663, %"SymVar_0"
  %".56" = sext i64 %".55" to i128
  %".57" = mul i128 %".54", %".56"
  %".58" = trunc i128 %".57" to i64
  %".59" = and i64 31, %".58"
  %".60" = zext i8 4 to i64
  %".61" = and i64 %".60", 63
  %".62" = shl i64 %".59", %".61"
  %".63" = or i64 %".62", %".46"
  %".64" = zext i8 3 to i64
  %".65" = and i64 %".64", 63
  %".66" = lshr i64 %".58", %".65"
  %".67" = and i64 7, %".66"
  %".68" = or i64 1, %".67"
  %".69" = trunc i64 %".68" to i32
  %".70" = zext i32 %".69" to i64
  %".71" = trunc i64 %".70" to i8
  %".72" = zext i8 %".71" to i64
  %".73" = and i64 %".72", 63
  %".74" = lshr i64 %".63", %".73"
  %".75" = sub i64 %".44", %".74"
  %".76" = xor i64 %".74", %".75"
  %".77" = xor i64 %".44", %".76"
  %".78" = xor i64 %".44", %".75"
  %".79" = xor i64 %".44", %".74"
  %".80" = and i64 %".78", %".79"
  %".81" = xor i64 %".77", %".80"
  %".82" = lshr i64 %".81", 63
  %".83" = trunc i64 %".82" to i1
  %".84" = icmp eq i64 %".75", 0
  br i1 %".84", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".88" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".89" = or i1 %".83", %".88"
  %".90" = icmp eq i1 %".89", 1
  br i1 %".90", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".94" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".95" = zext i8 %".94" to i64
  %".96" = lshr i64 %".74", 8
  %".97" = trunc i64 %".96" to i56
  %".98" = zext i56 %".97" to i64
  %".99" = shl i64 %".98", 8
  %".100" = or i64 %".95", %".99"
  %".101" = trunc i64 %".100" to i8
  %".102" = zext i8 %".101" to i32
  %".103" = zext i32 %".102" to i64
  %".104" = trunc i64 %".103" to i32
  %".105" = zext i32 %".104" to i64
  %".106" = trunc i64 %".105" to i32
  %".107" = zext i32 %".106" to i64
  %".108" = trunc i64 %".107" to i32
  %".109" = zext i32 %".108" to i64
  %".110" = trunc i64 %".109" to i32
  %".111" = trunc i64 %".109" to i32
  %".112" = and i32 %".110", %".111"
  %".113" = icmp eq i32 %".112", 0
  br i1 %".113", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".117" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  %".118" = icmp eq i1 %".117", 1
  br i1 %".118", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".122" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
  br i1 %".122", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
.3.endif.endif.endif.endif.if:
  %".124" = or i64 489433072, %"SymVar_0"
  %".125" = zext i8 55 to i64
  %".126" = and i64 %".125", 63
  %".127" = lshr i64 %".124", %".126"
  %".128" = or i64 489433072, %"SymVar_0"
  %".129" = zext i8 9 to i64
  %".130" = and i64 %".129", 63
  %".131" = shl i64 %".128", %".130"
  %".132" = or i64 %".127", %".131"
  %".133" = zext i8 51 to i64
  %".134" = and i64 %".133", 63
  %".135" = lshr i64 %".132", %".134"
  %".136" = zext i8 13 to i64
  %".137" = and i64 %".136", 63
  %".138" = shl i64 %".132", %".137"
  %".139" = or i64 %".135", %".138"
  %".140" = or i64 %".139", %"SymVar_0"
  %".141" = sext i64 %".140" to i128
  %".142" = add i64 104868834, %"SymVar_0"
  %".143" = sext i64 %".142" to i128
  %".144" = mul i128 %".141", %".143"
  %".145" = trunc i128 %".144" to i64
  %".146" = sext i64 %".145" to i128
  %".147" = sext i64 1004737041 to i128
  %".148" = mul i128 %".146", %".147"
  %".149" = trunc i128 %".148" to i64
  %".150" = sext i64 %".149" to i128
  %".151" = or i64 893657663, %"SymVar_0"
  %".152" = sext i64 %".151" to i128
  %".153" = mul i128 %".150", %".152"
  %".154" = trunc i128 %".153" to i64
  %".155" = add i64 916080512, %".154"
  %".156" = sext i64 %".155" to i128
  %".157" = and i64 31, %".154"
  %".158" = zext i8 4 to i64
  %".159" = and i64 %".158", 63
  %".160" = shl i64 %".157", %".159"
  %".161" = or i64 %".160", %".142"
  %".162" = sext i64 %".161" to i128
  %".163" = mul i128 %".156", %".162"
  %".164" = trunc i128 %".163" to i64
  %".165" = sext i64 %".164" to i128
  %".166" = and i64 15, %".140"
  %".167" = zext i8 2 to i64
  %".168" = and i64 %".167", 63
  %".169" = shl i64 %".166", %".168"
  %".170" = or i64 %".169", %".140"
  %".171" = zext i8 3 to i64
  %".172" = and i64 %".171", 63
  %".173" = lshr i64 %".170", %".172"
  %".174" = and i64 15, %".173"
  %".175" = or i64 1, %".174"
  %".176" = sub i64 64, %".175"
  %".177" = trunc i64 %".176" to i32
  %".178" = zext i32 %".177" to i64
  %".179" = trunc i64 %".178" to i8
  %".180" = zext i8 %".179" to i64
  %".181" = and i64 %".180", 63
  %".182" = lshr i64 %".132", %".181"
  %".183" = zext i8 3 to i64
  %".184" = and i64 %".183", 63
  %".185" = lshr i64 %".170", %".184"
  %".186" = and i64 15, %".185"
  %".187" = or i64 1, %".186"
  %".188" = trunc i64 %".187" to i32
  %".189" = zext i32 %".188" to i64
  %".190" = trunc i64 %".189" to i8
  %".191" = zext i8 %".190" to i64
  %".192" = and i64 %".191", 63
  %".193" = shl i64 %".132", %".192"
  %".194" = or i64 %".182", %".193"
  %".195" = sext i64 %".194" to i128
  %".196" = mul i128 %".165", %".195"
  %".197" = trunc i128 %".196" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.else:
  %".199" = or i64 489433072, %"SymVar_0"
  %".200" = zext i8 55 to i64
  %".201" = and i64 %".200", 63
  %".202" = lshr i64 %".199", %".201"
  %".203" = or i64 489433072, %"SymVar_0"
  %".204" = zext i8 9 to i64
  %".205" = and i64 %".204", 63
  %".206" = shl i64 %".203", %".205"
  %".207" = or i64 %".202", %".206"
  %".208" = zext i8 51 to i64
  %".209" = and i64 %".208", 63
  %".210" = lshr i64 %".207", %".209"
  %".211" = zext i8 13 to i64
  %".212" = and i64 %".211", 63
  %".213" = shl i64 %".207", %".212"
  %".214" = or i64 %".210", %".213"
  %".215" = or i64 %".214", %"SymVar_0"
  %".216" = sext i64 %".215" to i128
  %".217" = add i64 104868834, %"SymVar_0"
  %".218" = sext i64 %".217" to i128
  %".219" = mul i128 %".216", %".218"
  %".220" = trunc i128 %".219" to i64
  %".221" = sext i64 %".220" to i128
  %".222" = sext i64 1004737041 to i128
  %".223" = mul i128 %".221", %".222"
  %".224" = trunc i128 %".223" to i64
  %".225" = sext i64 %".224" to i128
  %".226" = or i64 893657663, %"SymVar_0"
  %".227" = sext i64 %".226" to i128
  %".228" = mul i128 %".225", %".227"
  %".229" = trunc i128 %".228" to i64
  %".230" = add i64 916080512, %".229"
  %".231" = sext i64 %".230" to i128
  %".232" = and i64 31, %".229"
  %".233" = zext i8 4 to i64
  %".234" = and i64 %".233", 63
  %".235" = shl i64 %".232", %".234"
  %".236" = or i64 %".235", %".217"
  %".237" = sext i64 %".236" to i128
  %".238" = mul i128 %".231", %".237"
  %".239" = trunc i128 %".238" to i64
  %".240" = sext i64 %".239" to i128
  %".241" = zext i64 %".229" to i128
  %".242" = zext i64 0 to i128
  %".243" = shl i128 %".242", 64
  %".244" = or i128 %".241", %".243"
  %".245" = zext i8 8 to i64
  %".246" = zext i8 0 to i64
  %".247" = shl i64 %".246", 8
  %".248" = or i64 %".245", %".247"
  %".249" = zext i8 0 to i64
  %".250" = shl i64 %".249", 16
  %".251" = or i64 %".248", %".250"
  %".252" = zext i8 0 to i64
  %".253" = shl i64 %".252", 24
  %".254" = or i64 %".251", %".253"
  %".255" = zext i8 0 to i64
  %".256" = shl i64 %".255", 32
  %".257" = or i64 %".254", %".256"
  %".258" = zext i8 0 to i64
  %".259" = shl i64 %".258", 40
  %".260" = or i64 %".257", %".259"
  %".261" = zext i8 0 to i64
  %".262" = shl i64 %".261", 48
  %".263" = or i64 %".260", %".262"
  %".264" = zext i8 0 to i64
  %".265" = shl i64 %".264", 56
  %".266" = or i64 %".263", %".265"
  %".267" = zext i64 %".266" to i128
  %".268" = udiv i128 %".244", %".267"
  %".269" = trunc i128 %".268" to i64
  %".270" = lshr i64 %".269", 32
  %".271" = trunc i64 %".270" to i8
  %".272" = zext i8 %".271" to i32
  %".273" = zext i32 %".272" to i64
  %".274" = trunc i64 %".273" to i8
  %".275" = zext i8 %".274" to i32
  %".276" = zext i32 %".275" to i64
  %".277" = trunc i64 %".276" to i8
  %".278" = zext i8 %".277" to i32
  %".279" = zext i32 %".278" to i64
  %".280" = trunc i64 %".279" to i8
  %".281" = zext i8 %".280" to i32
  %".282" = zext i32 %".281" to i64
  %".283" = trunc i64 %".282" to i8
  %".284" = zext i8 %".283" to i32
  %".285" = zext i32 %".284" to i64
  %".286" = trunc i64 %".285" to i8
  %".287" = zext i8 %".286" to i32
  %".288" = zext i32 %".287" to i64
  %".289" = trunc i64 %".288" to i8
  %".290" = zext i8 %".289" to i32
  %".291" = zext i32 %".290" to i64
  %".292" = trunc i64 %".291" to i8
  %".293" = zext i8 %".292" to i32
  %".294" = zext i32 %".293" to i64
  %".295" = trunc i64 %".294" to i8
  %".296" = zext i8 %".295" to i64
  %".297" = lshr i64 %".269", 8
  %".298" = trunc i64 %".297" to i8
  %".299" = zext i8 %".298" to i64
  %".300" = shl i64 %".299", 8
  %".301" = or i64 %".296", %".300"
  %".302" = lshr i64 %".269", 16
  %".303" = trunc i64 %".302" to i8
  %".304" = zext i8 %".303" to i64
  %".305" = shl i64 %".304", 16
  %".306" = or i64 %".301", %".305"
  %".307" = lshr i64 %".269", 24
  %".308" = trunc i64 %".307" to i8
  %".309" = zext i8 %".308" to i64
  %".310" = shl i64 %".309", 24
  %".311" = or i64 %".306", %".310"
  %".312" = trunc i64 %".269" to i8
  %".313" = zext i8 %".312" to i32
  %".314" = zext i32 %".313" to i64
  %".315" = trunc i64 %".314" to i8
  %".316" = zext i8 %".315" to i32
  %".317" = zext i32 %".316" to i64
  %".318" = trunc i64 %".317" to i8
  %".319" = zext i8 %".318" to i32
  %".320" = zext i32 %".319" to i64
  %".321" = trunc i64 %".320" to i8
  %".322" = zext i8 %".321" to i32
  %".323" = zext i32 %".322" to i64
  %".324" = trunc i64 %".323" to i8
  %".325" = zext i8 %".324" to i64
  %".326" = shl i64 %".325", 32
  %".327" = or i64 %".311", %".326"
  %".328" = lshr i64 %".269", 40
  %".329" = trunc i64 %".328" to i8
  %".330" = zext i8 %".329" to i64
  %".331" = shl i64 %".330", 40
  %".332" = or i64 %".327", %".331"
  %".333" = lshr i64 %".269", 48
  %".334" = trunc i64 %".333" to i8
  %".335" = zext i8 %".334" to i64
  %".336" = shl i64 %".335", 48
  %".337" = or i64 %".332", %".336"
  %".338" = lshr i64 %".269", 56
  %".339" = trunc i64 %".338" to i8
  %".340" = zext i8 %".339" to i64
  %".341" = shl i64 %".340", 56
  %".342" = or i64 %".337", %".341"
  %".343" = lshr i64 %".215", 56
  %".344" = trunc i64 %".343" to i8
  %".345" = zext i8 %".344" to i32
  %".346" = zext i32 %".345" to i64
  %".347" = trunc i64 %".346" to i8
  %".348" = zext i8 %".347" to i32
  %".349" = zext i32 %".348" to i64
  %".350" = trunc i64 %".349" to i8
  %".351" = zext i8 %".350" to i32
  %".352" = zext i32 %".351" to i64
  %".353" = trunc i64 %".352" to i8
  %".354" = zext i8 %".353" to i32
  %".355" = zext i32 %".354" to i64
  %".356" = trunc i64 %".355" to i8
  %".357" = zext i8 %".356" to i32
  %".358" = zext i32 %".357" to i64
  %".359" = trunc i64 %".358" to i8
  %".360" = zext i8 %".359" to i32
  %".361" = zext i32 %".360" to i64
  %".362" = trunc i64 %".361" to i8
  %".363" = zext i8 %".362" to i32
  %".364" = zext i32 %".363" to i64
  %".365" = trunc i64 %".364" to i8
  %".366" = zext i8 %".365" to i32
  %".367" = zext i32 %".366" to i64
  %".368" = trunc i64 %".367" to i8
  %".369" = zext i8 %".368" to i64
  %".370" = lshr i64 %".215", 8
  %".371" = trunc i64 %".370" to i8
  %".372" = zext i8 %".371" to i64
  %".373" = shl i64 %".372", 8
  %".374" = or i64 %".369", %".373"
  %".375" = lshr i64 %".215", 40
  %".376" = trunc i64 %".375" to i8
  %".377" = zext i8 %".376" to i32
  %".378" = zext i32 %".377" to i64
  %".379" = trunc i64 %".378" to i8
  %".380" = zext i8 %".379" to i32
  %".381" = zext i32 %".380" to i64
  %".382" = trunc i64 %".381" to i8
  %".383" = zext i8 %".382" to i32
  %".384" = zext i32 %".383" to i64
  %".385" = trunc i64 %".384" to i8
  %".386" = zext i8 %".385" to i32
  %".387" = zext i32 %".386" to i64
  %".388" = trunc i64 %".387" to i8
  %".389" = zext i8 %".388" to i64
  %".390" = shl i64 %".389", 16
  %".391" = or i64 %".374", %".390"
  %".392" = lshr i64 %".215", 24
  %".393" = trunc i64 %".392" to i8
  %".394" = zext i8 %".393" to i64
  %".395" = shl i64 %".394", 24
  %".396" = or i64 %".391", %".395"
  %".397" = lshr i64 %".215", 32
  %".398" = trunc i64 %".397" to i8
  %".399" = zext i8 %".398" to i64
  %".400" = shl i64 %".399", 32
  %".401" = or i64 %".396", %".400"
  %".402" = lshr i64 %".215", 16
  %".403" = trunc i64 %".402" to i8
  %".404" = zext i8 %".403" to i32
  %".405" = zext i32 %".404" to i64
  %".406" = trunc i64 %".405" to i8
  %".407" = zext i8 %".406" to i32
  %".408" = zext i32 %".407" to i64
  %".409" = trunc i64 %".408" to i8
  %".410" = zext i8 %".409" to i32
  %".411" = zext i32 %".410" to i64
  %".412" = trunc i64 %".411" to i8
  %".413" = zext i8 %".412" to i32
  %".414" = zext i32 %".413" to i64
  %".415" = trunc i64 %".414" to i8
  %".416" = zext i8 %".415" to i32
  %".417" = zext i32 %".416" to i64
  %".418" = trunc i64 %".417" to i8
  %".419" = zext i8 %".418" to i32
  %".420" = zext i32 %".419" to i64
  %".421" = trunc i64 %".420" to i8
  %".422" = zext i8 %".421" to i32
  %".423" = zext i32 %".422" to i64
  %".424" = trunc i64 %".423" to i8
  %".425" = zext i8 %".424" to i32
  %".426" = zext i32 %".425" to i64
  %".427" = trunc i64 %".426" to i8
  %".428" = zext i8 %".427" to i64
  %".429" = shl i64 %".428", 40
  %".430" = or i64 %".401", %".429"
  %".431" = lshr i64 %".215", 48
  %".432" = trunc i64 %".431" to i8
  %".433" = zext i8 %".432" to i64
  %".434" = shl i64 %".433", 48
  %".435" = or i64 %".430", %".434"
  %".436" = trunc i64 %".215" to i8
  %".437" = zext i8 %".436" to i32
  %".438" = zext i32 %".437" to i64
  %".439" = trunc i64 %".438" to i8
  %".440" = zext i8 %".439" to i32
  %".441" = zext i32 %".440" to i64
  %".442" = trunc i64 %".441" to i8
  %".443" = zext i8 %".442" to i32
  %".444" = zext i32 %".443" to i64
  %".445" = trunc i64 %".444" to i8
  %".446" = zext i8 %".445" to i32
  %".447" = zext i32 %".446" to i64
  %".448" = trunc i64 %".447" to i8
  %".449" = zext i8 %".448" to i64
  %".450" = shl i64 %".449", 56
  %".451" = or i64 %".435", %".450"
  %".452" = zext i8 3 to i64
  %".453" = and i64 %".452", 63
  %".454" = lshr i64 %".451", %".453"
  %".455" = and i64 15, %".454"
  %".456" = or i64 1, %".455"
  %".457" = sub i64 64, %".456"
  %".458" = trunc i64 %".457" to i32
  %".459" = zext i32 %".458" to i64
  %".460" = trunc i64 %".459" to i8
  %".461" = zext i8 %".460" to i64
  %".462" = and i64 %".461", 63
  %".463" = lshr i64 %".342", %".462"
  %".464" = zext i8 %".295" to i64
  %".465" = zext i8 %".298" to i64
  %".466" = shl i64 %".465", 8
  %".467" = or i64 %".464", %".466"
  %".468" = zext i8 %".303" to i64
  %".469" = shl i64 %".468", 16
  %".470" = or i64 %".467", %".469"
  %".471" = zext i8 %".308" to i64
  %".472" = shl i64 %".471", 24
  %".473" = or i64 %".470", %".472"
  %".474" = zext i8 %".324" to i64
  %".475" = shl i64 %".474", 32
  %".476" = or i64 %".473", %".475"
  %".477" = zext i8 %".329" to i64
  %".478" = shl i64 %".477", 40
  %".479" = or i64 %".476", %".478"
  %".480" = zext i8 %".334" to i64
  %".481" = shl i64 %".480", 48
  %".482" = or i64 %".479", %".481"
  %".483" = zext i8 %".339" to i64
  %".484" = shl i64 %".483", 56
  %".485" = or i64 %".482", %".484"
  %".486" = zext i8 %".368" to i64
  %".487" = zext i8 %".371" to i64
  %".488" = shl i64 %".487", 8
  %".489" = or i64 %".486", %".488"
  %".490" = zext i8 %".388" to i64
  %".491" = shl i64 %".490", 16
  %".492" = or i64 %".489", %".491"
  %".493" = zext i8 %".393" to i64
  %".494" = shl i64 %".493", 24
  %".495" = or i64 %".492", %".494"
  %".496" = zext i8 %".398" to i64
  %".497" = shl i64 %".496", 32
  %".498" = or i64 %".495", %".497"
  %".499" = zext i8 %".427" to i64
  %".500" = shl i64 %".499", 40
  %".501" = or i64 %".498", %".500"
  %".502" = zext i8 %".432" to i64
  %".503" = shl i64 %".502", 48
  %".504" = or i64 %".501", %".503"
  %".505" = zext i8 %".448" to i64
  %".506" = shl i64 %".505", 56
  %".507" = or i64 %".504", %".506"
  %".508" = zext i8 3 to i64
  %".509" = and i64 %".508", 63
  %".510" = lshr i64 %".507", %".509"
  %".511" = and i64 15, %".510"
  %".512" = or i64 1, %".511"
  %".513" = trunc i64 %".512" to i32
  %".514" = zext i32 %".513" to i64
  %".515" = trunc i64 %".514" to i8
  %".516" = zext i8 %".515" to i64
  %".517" = and i64 %".516", 63
  %".518" = shl i64 %".485", %".517"
  %".519" = or i64 %".463", %".518"
  %".520" = sext i64 %".519" to i128
  %".521" = mul i128 %".240", %".520"
  %".522" = trunc i128 %".521" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.endif:
  %".524" = phi i64 [%".197", %".3.endif.endif.endif.endif.if"], [%".522", %".3.endif.endif.endif.endif.else"]
  ret i64 %".524"
}
